ket1 && ket2 return |yes> if both ket1 and ket2 are |yes>, |no> otherwise sometimes it is cleaner to use the and() function instead of &&
|yes> && |yes> |yes> |no> && |yes> |no> |yes> && |fish> |no>